Formal Design of Hybrid Control Systems: Duration Calculus Approach
نویسنده
چکیده
منابع مشابه
A Case Study on Formal Design of Hybrid Control Systems
In this paper, we present an approach to the design of hybrid systems by combination of several comprehensive formalization techniques. We use Duration Calculus (DC) to specify the requirement and design at abstract level of system development. Then the high level designs are further refined in control theory. A formal verification may be done either in DC if it is possible, or in predicate cal...
متن کاملA Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the general concept of mathematical relations to specify properties, while the calculus of durations provides the means to reason about such specifications, and in particular, prove formally that a design implies the requ...
متن کاملA Formal Design Technique for Real-Time Embedded Systems Development using Duration Calculus
In this paper we present a syntactical approach for the design of real-time embedded systems. The requirement of the system is specified as Duration Calculus formula over continuous state variables. We model discretization at the state level and approximate continuous state variables by discrete ones. The discrete design is formulated as Duration Calculus formula over discrete state variables. ...
متن کاملNon-linear Fractional-Order Chaotic Systems Identification with Approximated Fractional-Order Derivative based on a Hybrid Particle Swarm Optimization-Genetic Algorithm Method
Although many mathematicians have searched on the fractional calculus since many years ago, but its application in engineering, especially in modeling and control, does not have many antecedents. Since there are much freedom in choosing the order of differentiator and integrator in fractional calculus, it is possible to model the physical systems accurately. This paper deals with time-domain id...
متن کاملFrom Duration Calculus To Linear Hybrid Automata
We relate two diierent approaches for the speciication and veriication of hybrid systems. The rst one is logic-based and uses the framework of the Calculus of Durations (CoD), the second one is automata-based and uses algorithmic analysis techniques for hybrid automata. Fragments of CoD have been identiied in 13, 19] for the description of control systems and their requirements. We mainly show ...
متن کامل